skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


  • Home
  • Search Results
  • Page 1 of 3

Search for: All records

Creators/Authors contains: "Sen, Koushik"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. ; ; ; ; (, IEEE)
    Full Text Available 
  2. ; ; ; ; ; (, ACM)
    Full Text Available 
  3. ; ; ; ; ; ; (, Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3)
    FPGA prototyping has long been an indispensable technique in pre-silicon verification as well as enabling early-stage software development. FPGAs themselves have also gained popularity as hardware accelerators deployed in datacenters. However, FPGA development brings a plethora of problems. These issues constitute a high barrier towards mass adoption of agile development surrounding FPGA-based projects.To address these problems, we have built Zoomie for fast incremental compilation, reusing verification infrastructure, and a software-inspired approach towards open-source emulation. We show that Zoomie achieves 18\texttimes{} speedup over the vendor toolchain in incremental compilation time for million-gate designs. At the same time, Zoomie also provides a software-like debugging experience with breakpoints, stepping the design, and forcing values in a running design. 
    more » « less
    Full Text Available 
  4. ; ; ; ; ; ; (, Association for Computational Linguistics)
    Full Text Available 
  5. ; ; (, ACM)
    Full Text Available 
  6. ; ; ; ; ; (, arXiv)
    Accepted Manuscript Full Text Available
  7. ; ; ; ; ; (, ACM)
    Full Text Available 
  8. ; ; ; ; ; (, IEEE Software)
    Full Text Available 
  9. ; ; ; ; (, 10.1109/ASE51524.2021)
    Full Text Available 
  10. ; ; ; ; (, 30th USENIX Security Symposium)
    Accepted Manuscript Full Text Available